Risk-aware decision support with constrained goal models
نویسندگان
چکیده
منابع مشابه
Reasoning with Constrained Goal Models
Goal models have been widely used in Computer Science to represent software requirements, business objectives, and design qualities. Existing goal modeling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work we exploit advances in automated reasoning technologies, notably SMT solvers, to propose and formalize...
متن کاملEfficient Reasoning with Constrained Goal Models
GOAL models have been widely used in Computer Science to represent software requirements, business objectives, and design qualities. Existing goal modelling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work, we exploit advances in automated reasoning technologies, notably Satisfiability and Optimization Mod...
متن کاملModeling and Reasoning on Requirements Evolution with Constrained Goal Models
We are interested in supporting software evolution caused by changing requirements and/or changes in the operational environment of a software system. For example, users of a system may want new functionality or performance enhancements to cope with growing user population (changing requirements). Alternatively, vendors of a system may want to minimize costs in implementing requirements changes...
متن کاملRequirements Evolution and Evolution Requirements with Constrained Goal Models
We are interested in supporting software evolution caused by changing requirements and/or changes in the operational environment of a software system. For example, users of a system may want new functionality or performance enhancements to cope with growing user population (changing requirements). Alternatively, vendors of a system may want to minimize costs in implementing requirements changes...
متن کاملResource-Constrained and Decision Support Workflow Modeling
In our previous work, we introduced WIFA approach for incident command systems workflow modeling and analysis. In this paper, we extend WIFA to take resources into account when modeling and enacting workflows. Resources can become important decision factors when combined with control flow information. In many situations, business processes are constrained by scarce resources. The lack of resour...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Computer Security
سال: 2018
ISSN: 2056-4961
DOI: 10.1108/ics-01-2018-0010